COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.CENT(Problems involving list-notation)
C00004 ENDMK
C⊗;
.CENT(Problems involving list-notation)
.P12:
.BEGIN CENTERIT;SELECT 1;
.GROUP
.P65:
I  Translate the following lists into S-expr dotted-pair notation.
←%21.%3 (A B C)   %22.%3 (A)   %23.%3 ((A))   %24.%3 (A (B (C)))  %25.%3 (NIL).
.APART
.GROUP
%1

Now go the other way and translate the following S-exprs into list notation.
←%26.%3 ((A .(B . NIL)).((C . NIL). NIL))   %27.%3 (NIL . NIL)
←%28.%3 (CONS .((QUOTE .(A . NIL)). NIL))
.APART
.GROUP
%1

II  Evaluate the following:
←%21.%3 first[(A B)]   %22.%3 rest[(A B)]   
←%23.%3 concat[A;(B C)]   %24.%3 concat[A;NIL]
←%25.%3 concat[eq[A;A];(A B C)] %26.%3 first[rest[(A B)]]
.APART
.END